Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
691	Introduction to Complexity Theory { Lecture Notes Oded Goldreich Department of Computer Science and Applied Mathematics Weizmann Institute of Science, Israel. Email: [removed] July 31, 1999 Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2000-12-12 06:50:00 Complexity classes Mathematical optimization Structural complexity theory NP-complete Polynomial-time reduction P versus NP problem NP P-complete Probabilistically checkable proof Theoretical computer science Computational complexity theory Applied mathematics
692	A SHORT PROOF OF THE λg -CONJECTURE WITHOUT GROMOV-WITTEN THEORY: HURWITZ THEORY AND THE MODULI OF CURVES I. P. GOULDEN, D. M. JACKSON AND R. VAKIL Abstract. We give a short and direct proof of Getzler and Pandharipande Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2008-08-17 21:54:01 Permutations Mathematical analysis Partial differential equation Mathematics ELSV formula Moduli theory
693	Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Formal methods Theorem Mathematical proof Logic Mathematics Automated theorem proving
694	Aftermath & Antimath (antiscience fiction) Add to Reading List Source URL: www.gallup.unm.edu Language: English - Date: 2012-04-19 18:33:09 Philosophical logic Non-classical logic Mathematical logic Axiology Modal logic Function Mathematical proof Type theory Mathematics Logic Knowledge
695	using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Gudmund Grov, Andrew Ireland & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Mathematical proof Theorem KeY Logic Automated theorem proving Mathematics
696	Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof. Liesbeth De Mol∗ [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:50:50 Computer science Theory of computation Busy beaver Turing machine Halting problem Computable function Alan Turing Mathematical proof Computability Mathematics Theoretical computer science Computability theory
697	THE TAKEOVER PANEL CODE COMMITTEE POST-OFFER UNDERTAKINGS AND INTENTION STATEMENTS: PUBLICATION OF RS Add to Reading List Source URL: www.thetakeoverpanel.org.uk Language: English - Date: 2014-12-23 03:31:38 Computing Panel on Takeovers and Mergers Procedural programming languages Software engineering Takeover C Probabilistically checkable proof Programming language theory Mergers and acquisitions United Kingdom company law City Code on Takeovers and Mergers
698	A modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science University of Ghent (Belgium) June 27, 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-27 07:55:59 Model theory Proof theory Propositional calculus Natural deduction Entailment Modal logic Interpretation Valuation Kripke semantics Logic Philosophical logic Deduction
699	On Formal Specification of a Proof Tool∗ R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:33:45 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
700	The proof is in the process. A preamble for a philosophy of computer-assisted mathematics Liesbeth De Mol Mechanization tends to emphasize practice rather than theory, deeds rather than words, explicit answers rather tha Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-19 05:16:36 Derrick Henry Lehmer Computer music Algorithm Computer science Computer Computing Mathematical proof Human–computer interaction ENIAC Mathematics Philosophy of mathematics Mathematical logic

UPDATE